nLab action monad

Idea

The action monad or writer monad is a construction generalizing many seemingly different concepts across mathematics and computer science. It may intuitively be understood in the following ways, where throughout we fix a group or monoid $M$.

• It is the monad associated to the free-forgetful adjunction between M-sets (sets equipped with an $M$-action) and sets.

• It is the monad whose algebras are $M$-sets and whose morphisms are equivariant maps.

• It is the monad modeling computational effects that can be added or concatenated (using the multiplication map of $M$), such as writing into a log file or standard output to screen. In this case, $M$ is usually the free monoid on a fixed alphabet (i.e. the data type “String”).

If one, more generally, replaces sets and a monoid with a monoidal category and an internal monoid, a similar construction can be given. This generalizes, for example, the action that rings have on their modules, and that Lie groups have on manifolds.

Definition

In Sets

Let $M$ be a monoid with unit $e:1\to M$ and multiplication $\cdot:M\times M \to M$. The (left) $M$-action monad is a monad on Set where

• The endofunctor maps a set $X$ to the set $M\times X$;

• The unit is given by

for each object $X$;

• The multiplication is given by

for each object $X$.

The monad axioms follow from the monoid axioms for $M$.

There exists an analogous monad for right actions, whose endofunctor maps $X$ to $X\times M$.

In any monoidal category

More generally, let $(C,\otimes,1)$ be a monoidal category. Let $M$ be a monoid object in $C$ with unit $e:1\to M$ and multiplication $\cdot:M\otimes M \to M$. The (left) $M$-action monad is a monad on $C$ where

• The endofunctor maps an object $X$ of $C$ to the object $M\otimes X$;

• The unit is given by

for each object $X$;

• The multiplication is given by

for each object $X$.

Again, the monad axioms follow from the monoid axioms for $M$. (And again there is an analogous notion for right actions).

Algebras

The algebras over the action monad for a monoid (or group) $M$ can be seen as the $M$-spaces, i.e. sets or spaces equipped with an action of $M$ (hence the name).

Plugging in the definition, an algebra over this monad is then a set $A$ together with a map $e:M\times A\to A$, such that the following diagrams commute. The algebra diagrams

say equivalently that for all $a\in A$ and $m,n\in M$,

$$1\cdot a= a, \qquad (m n)\cdot a = m\cdot (n\cdot a) .$$

In other words, a $T_M$-algebra is exactly a set equipped with an $M$-action in the traditional group-theoretical sense.

This gives a way to talk about monoid and group actions internally to any monoidal category, giving the notion of a module object.

Examples

• In the category of manifolds with their cartesian product, an internal group is a Lie group. The algebras of the corresponding action monad are the manifolds equipped with the action of the Lie group, such as homogeneous spaces.

• The same can be said about topological spaces and continuous actions of topological groups.

• In the category Ab of abelian groups with their tensor product, an internal monoid is a ring. The algebras of the resulting action monad are the modules over that ring.

• In the category of endofunctors of a category $C$, an internal monoid is the same as a monad $T$. An algebra of the resulting action monad is an instance of a module over a monad $T$.

Properties

• For the case of group actions on sets, a $G$-set is free as an action if and only if it is free as an algebra over the action monad.

• The action monad $X\mapsto M\times X$ on Set is canonically strong, with the strength given by the associator (see strong monad#examples). It is commutative if and only if $M$ is commutative as a monoid.

• More generally, in an arbitrary symmetric monoidal category, the action monad induced by tensoring with an internal monoid is commutative if and only the monoid object is commutative. (See for example Brandenburg 2014, Exp. 6.3.12.)

• Any action monad canonically distributes over a strong monad $T$, with the distributive law $M \otimes T X \to T(M\otimes X)$ induced by the strength.

Examples

As logging-effect in computer science

As a monad in computer science, the action monad is known under the name of writer monad, since it encodes the computational effect of programs “writing logging messages” like into a stream.

The following explanation is taken from Perrone, Example 5.1.14.

Let $M$ be a monoid, and let’s write it additively. Denote by $T_M$ its right writer monad.

A Kleisli morphism of $T_M$ is a morphism $k \colon X \to Y \times M$. We can interpret it as a process which, when given an input $x\in X$, does not just produce an output $y\in Y$, but also an element of $M$.

For example, it could be energy released by a chemical reaction, or waste, or a cost of the transaction. In computer science, this is the behaviour of a function that computes a certain value, but that also writes into a log file (or to the standard output) that something has happened (the monoid operation being the concatenation of strings). For example, when you compile a TeX document, a log file is produced alongside your output file. Hence the name “writer monad”.

Let’s now look at the Kleisli composition. If we have processes $k \colon X \to Y\times M$ and $h \colon Y\to Z\times M$, then $k\circ_{kl} Y \colon X\to Z\times M$ is given by

What it does is the following:

1. It executes the process $k$ with an input $x\in X$, giving as output an element of $y\in Y$ as well as a cost (or extra output) $m\in M$.

2. It executes the process $k$ taking as input the $y\in Y$ produced by $k$, giving an element $z\in Z$ as well as an extra cost $n\in M$. (All of this while keeping track of the first cost $m$.)

3. The two costs $m$ and $n$ are summed (or the extra outputs are concatenated).

So, for example, the cost of executing two processes one after another is the sum of the costs. The same is true about the release of energy in a chemical reaction, and about waste.

Just as well, executing two programs one after another will produce a concatenation of text in a log file (or two log files).

Quantum measurement

For $B$ a finite set, and fixing any ground field $k$ (such as the complex numbers), consider the commutative monoid in $k$-vector spaces (i.e. the ordinary commutative algebra)

$$\mathbb{1}^B \;=\; \oplus_B k \;\in\; CMon\big(Vect_k\big) \,=\, CAlg_k$$

which may be thought of as generated from a $B$-indexed set of mutually orthogonal projection operators.

Then the induxed $\mathbb{1}^B$-writer monad on $k$-VectorSpaces (in the sense above) is isomorphic to the linear version of the $B$-reader monad. This is related to the notion of quantum measurement, and as such is discussed at: quantum reader monad.

Related concepts

• stream

• list monad

• action, G-set, equivariant map

• internalization

• monoidal category, monoid object, group object, module object

• monad, algebra over a monad

• monad in computer science,

  • function monad

(co)monad name	underlying endofunctor	(co)monad structure induced by
reader monad	$W \to (\text{-})$ on cartesian types	unique comonoid structure on $W$
coreader comonad	$W \times (\text{-})$ on cartesian types	unique comonoid structure on $W$
writer monad	$A \otimes (\text{-})$ on monoidal types	chosen monoid structure on $A$
cowriter comonad	$\array{A \to (\text{-}) \\ \\ A \otimes (\text{-})}$ on monoidal types	chosen monoid structure on $A$ chosen comonoid structure on $A$
Frobenius (co)writer	$\array{A \to (\text{-}) \\ A \otimes (\text{-})}$ on monoidal types	chosen Frobenius monoid structure

References

General

Elementary exposition:

• Paolo Perrone, Section 5 of: Notes on Category Theory with examples from basic mathematics, . [arXiv:1912.10642]

Proof that the construction of actions monads from monoids is part of an adjunction between monoids and strong monads:

• Harvey Wolff, Monads and Monoids on Symmetric Monoidal Closed Categories, Archiv der Mathematik 24 (1973) 113–120 [doi:10.1007/BF01228184]

Generalization of this discussion to Frobenius algebras/Frobenius monads (cf. cowriter comonads):

• Martti Karvonen, Frobenius algebras in functor categories, Oxford (2014) [pdf, pdf]

and analogous discussion in dagger-categories:

• Chris Heunen, Martti Karvonen, Monads on dagger categories, Theory and Applications of Categories 31 35 (2016) 1016-1043 [arXiv:1602.04324, tac:31-35]

Discussion of the Eilenberg-Moore category of action monads:

• Gavin J. Seal, Section 3 of: Tensors, monads and actions, Theory and Applications of Categories 28 15 (2013) 403-434. [arXiv:1205.0101, tac:28-15]

Brief discussion in the context of algebraic geometry:

• Martin Brandenburg, Exp. 6.3.4 in: Tensor categorical foundations of algebraic geometry [arXiv:1410.1716, urn:nbn:de:hbz:6-22359532742]

In computer science

Discussion of the writer monad as an effect-monad in computer science:

• Tarmo Uustalu, p.23 of: Monads and Interaction Lecture 1 [pdf, pdf], lecture notes for MGS 2021 (2021):

• Bartosz Milewski (compiled by Igal Tabachnik), §4.1 and §21.2.4 in: Category Theory for Programmers, Blurb (2019) [pdf, github, webpage, ISBN:9780464243878]